#ifndef RDTSC_H
#define RDTSC_H

class Rdtsc
{
  uint64_t begin, end;
  inline uint64_t rdtsc();
  
  public:
  void start();
  void stop();
};

#endif
